Editorial: 10 Years of eucrim

Informatics 10 Years Back , 10 Years Ahead

Interpretation is a theory of approximation of the be— havior of dynamic discrete systems such as the formal seman­ tics ofprograms. Since such behaviors can be characterized by fixpoints, the theory essentially provides constructive and ef— fective methods for fixpoint approximation and checking by abstraction. Non—conventionalapplications of abstract interpretation in— clude the design of hie...

Microprocessors - 10 Years Back, 10 Years Ahead

Editorial: After Five Years

Increasingly journals are using a variety of measures to benchmark the quality of their publications. Upon reflection one can source numerous statistics from reliable sources to find key indicators that showcase both the breadth and depth of relevance of a journal within a global academic and industry community of practice. We thought it especially important to present some key indicators in th...

10 years of illusions.

A decade ago, S. Aglioti, J. F. X. DeSouza, and M. A. Goodale (1995) published an experiment that has had a big influence on the way that visual information is thought to control human behavior. Their findings have often been simplified as suggesting that action is immune to perceptual illusions. The current authors critically analyze the 4 steps involved in this simplification and argue that r...

Guest-editorial: 25 years of AI*IA

This issue reviews the recent work of the Italian community in Artificial Intelligence (AI). The study of AI has a long tradition in Italy, it can be dated back to the early Seventies and the research groups are numerous and their activities span a wide range of themes, from knowledge representation and automated reasoning, to machine learning, from multi-agent systems to robotics, and many oth...